Higher-order logic
FORM OF PREDICATE LOGIC THAT IS DISTINGUISHED FROM FIRST-ORDER LOGIC BY ADDITIONAL QUANTIFIERS AND, SOMETIMES, STRONGER SEMANTICS
Higher-order predicate; Higher order logic; Higher order logics; Ordered logic; Higher-order logics; High order logic; High-order logic; Order (logic); Semantics of higher-order logic
In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.